From inconsistency handling to non-canonical requirements management: A logical perspective
نویسندگان
چکیده
Article history: Received 21 July 2011 Revised 2 May 2012 Accepted 25 July 2012 Available online xxx
منابع مشابه
The Process of Inconsistency Management: A Framework for Understanding
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to major problems in the operation of a system, while failure to support a range of inconsistency handling strategies can lead to a rigid and impractical development process. We argue, therefore, that the inconsistency manag...
متن کاملInconsistency Handling in Multi-Perspective Specifications
The development of most large and complex systems necessarily involves many people each with their own perspectives on the system defined by their knowledge, responsibilities, and commitments. To address this we have advocated distributed development of specifications from multiple perspectives. However, this leads to problems of identifying and handling inconsistencies between such perspective...
متن کاملManaging Inconsistent Speci cations: Reasoning, Analysis and Action
In previous work, we have advocated continued development of specications in the presence of inconsistency. To support this, we have used classical logic to represent partial speci cations and to identify inconsistencies between them. We now present an adaptation of classical logic, which we term quasi-classical (QC) logic, that allows continued reasoning in the presence of inconsistency. The a...
متن کاملManaging Inconsistent Speciications: Reasoning, Analysis and Action
In previous work, we have advocated continued development of speci-cations in the presence of inconsistency. To support this, we have used classical logic to represent partial speciications and to identify inconsistencies between them. We now present an adaptation of classical logic, which we term quasi-classical (QC) logic, that allows continued reasoning in the presence of inconsistency. The ...
متن کاملIdentifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
The requirements specifications of complex systems are increasingly developed in a distributed fashion. It makes inconsistency management necessary during the requirements stage. However, identifying appropriate inconsistency handling proposals is still an important challenge. In particular, for inconsistencies involving many different stakeholders with different concerns, it is difficult to re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Int. J. Approx. Reasoning
دوره 54 شماره
صفحات -
تاریخ انتشار 2013